SWIERSTRA, WOUTER: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (24)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Heterogeneous binary random-access lists

SWIERSTRA, WOUTER

Журнал:

Journal of Functional Programming

Рік:

2020

Файл:

PDF, 260 KB

2020

2

More dependent types for distributed arrays

Swierstra, Wouter

Журнал:

Higher-Order and Symbolic Computation

Рік:

2010

Мова:

english

Файл:

PDF, 494 KB

english, 2010

3

Data types à la carte

SWIERSTRA, WOUTER

Журнал:

Journal of Functional Programming

Рік:

2008

Мова:

english

Файл:

PDF, 512 KB

english, 2008

4

[ACM Press the 2007 workshop - Freiburg, Germany (2007.10.05-2007.10.05)] Proceedings of the 2007 workshop on Programming languages meets program verification - PLPV '07 - Observational equality, now!

Altenkirch, Thorsten, McBride, Conor, Swierstra, Wouter

Рік:

2007

Мова:

english

Файл:

PDF, 293 KB

english, 2007

5

The power of Pi

Oury, Nicolas, Swierstra, Wouter

Журнал:

ACM SIGPLAN Notices

Рік:

2008

Мова:

english

Файл:

PDF, 237 KB

english, 2008

6

A library for polymorphic dynamic typing

SWIERSTRA, WOUTER, VAN NOORT, THOMAS

Журнал:

Journal of Functional Programming

Рік:

2013

Мова:

english

Файл:

PDF, 330 KB

english, 2013

7

Sorted

SWIERSTRA, WOUTER

Журнал:

Journal of Functional Programming

Рік:

2011

Мова:

english

Файл:

PDF, 189 KB

english, 2011

8

[ACM Press the ACM SIGPLAN workshop - Freiburg, Germany (2007.09.30-2007.09.30)] Proceedings of the ACM SIGPLAN workshop on Haskell workshop - Haskell '07 - Beauty in the beast

Swierstra, Wouter, Altenkirch, Thorsten

Рік:

2007

Мова:

english

Файл:

PDF, 251 KB

english, 2007

9

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Attribute grammars fly first-class

Viera, Marcos, Swierstra, S. Doaitse, Swierstra, Wouter

Рік:

2009

Мова:

english

Файл:

PDF, 446 KB

english, 2009

10

[ACM Press the seventh ACM SIGPLAN workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the seventh ACM SIGPLAN workshop on Generic programming - WGP '11 - Embedding polymorphic dynamic typing

van Noort, Thomas, Swierstra, Wouter, Achten, Peter, Plasmeijer, Rinus

Рік:

2011

Мова:

english

Файл:

PDF, 441 KB

english, 2011

11

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - xmonad in Coq (experience report)

Swierstra, Wouter

Рік:

2012

Мова:

english

Файл:

PDF, 469 KB

english, 2012

12

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - The power of Pi

Oury, Nicolas, Swierstra, Wouter

Рік:

2008

Мова:

english

Файл:

PDF, 237 KB

english, 2008

13

[ACM Press the 2014 ACM International Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software - Onward! '14 - The Semantics of Version Control

Swierstra, Wouter, Löh, Andres

Рік:

2014

Мова:

english

Файл:

PDF, 760 KB

english, 2014

14

xmonad in Coq (experience report)

Swierstra, Wouter

Журнал:

ACM SIGPLAN Notices

Рік:

2013

Мова:

english

Файл:

PDF, 469 KB

english, 2013

15

Attribute grammars fly first-class

Viera, Marcos, Swierstra, S. Doaitse, Swierstra, Wouter

Журнал:

ACM SIGPLAN Notices

Рік:

2009

Мова:

english

Файл:

PDF, 446 KB

english, 2009

16

Special issue on Programming with Dependent Types Editorial

SWIERSTRA, WOUTER, DYBJER, PETER

Журнал:

Journal of Functional Programming

Рік:

2017

Мова:

english

Файл:

PDF, 44 KB

english, 2017

17

Embedding the refinement calculus in Coq

Alpuim, João, Swierstra, Wouter

Журнал:

Science of Computer Programming

Рік:

2017

Мова:

english

Файл:

PDF, 621 KB

english, 2017

18

[ACM Press the 2nd ACM SIGPLAN International Workshop - Oxford, UK (2017.09.03-2017.09.03)] Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2017 - Type-directed diffing of structured data

Miraldo, Victor Cacciari, Dagand, Pierre-Évariste, Swierstra, Wouter

Рік:

2017

Мова:

english

Файл:

PDF, 810 KB

english, 2017

19

[ACM Press the 2nd ACM SIGPLAN International Workshop - Oxford, UK (2017.09.03-2017.09.03)] Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2017 - Generic packet descriptions: verified parsing and pretty printing of low-level data

van Geest, Marcell, Swierstra, Wouter

Рік:

2017

Мова:

english

Файл:

PDF, 655 KB

english, 2017

20

[ACM Press the 3rd ACM SIGPLAN International Workshop - St. Louis, MO, USA (2018.09.27-2018.09.27)] Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development - TyDe 2018 - From algebra to abstract machine: a verified generic construction

Tomé Cortiñas, Carlos, Swierstra, Wouter

Рік:

2018

Мова:

english

Файл:

PDF, 804 KB

english, 2018

21

An efficient algorithm for type-safe structural diffing

Miraldo, Victor Cacciari, Swierstra, Wouter

Журнал:

Proceedings of the ACM on Programming Languages

Рік:

2019

Мова:

english

Файл:

PDF, 623 KB

english, 2019

22

A predicate transformer semantics for effects (functional pearl)

Swierstra, Wouter, Baanen, Tim

Журнал:

Proceedings of the ACM on Programming Languages

Рік:

2019

Мова:

english

Файл:

PDF, 350 KB

english, 2019

23

[ACM Press the 7th ACM SIGPLAN International Workshop - Berlin, Germany (2019.08.23-2019.08.23)] Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - FARM 2019 - What constitutes a musical pattern?

Melkonian, Orestis, Ren, Iris Yuping, Swierstra, Wouter, Volk, Anja

Рік:

2019

Мова:

english

Файл:

PDF, 648 KB

english, 2019

24

[ACM Press the 11th ACM SIGPLAN Workshop - Vancouver, BC, Canada (2015.08.30-2015.08.30)] Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming - WGP 2015 - Datatype generic programming in f#

Rodriguez, Ernesto, Swierstra, Wouter

Рік:

2015

Мова:

english

Файл:

PDF, 285 KB

english, 2015